M. Kracht; "Tools and Techniques in Modal Logic"